hasloc(k; i) == band(isrcv(k); (eq_id(destination(lnk(k)); i))) 

latex

Definitions	band(p; q), isrcv(k), b, eq_id(a; b), destination(l), lnk(k)
FDL editor aliases	hasloc